Calculating an exceptional machine
نویسندگان
چکیده
In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to verify, an abstract machine for this language. The key step is the use of Reynold’s defunctionalization, an old program transformation technique that has recently been rejuvenated by the work of Danvy et al.
منابع مشابه
Outlier Detection Using Rough Set Theory
In this paper, we suggest to exploit the framework of rough set for detecting outliers — individuals who behave in an unexpected way or feature abnormal properties. The ability to locate outliers can help to maintain knowledge base integrity and to single out irregular individuals. First, we formally define the notions of exceptional set and minimal exceptional set. We then analyze some special...
متن کاملIntegrated Approach for Cellular Manufacturing a Case Study (TECHNICAL NOTE)
To cope with fast changing customer requirements, industrial demands and to meet stringent specifications of customers Cellular Manufacturing Systems has become an effective tool in hands of manufacturers. Most of the published literature on cell formation earlier considers only the data available in the route sheets and ignored subproblems associated with cell formation. There is a need to dev...
متن کاملStochastic extension of cellular manufacturing systems: a queuing-based analysis
Clustering parts and machines into part families and machine cells is a major decision in the design of cellular manufacturing systems which is defined as cell formation. This paper presents a non-linear mixed integer programming model to design cellular manufacturing systems which assumes that the arrival rate of parts into cells and machine service rate are stochastic parameters and descri...
متن کاملSimulated annealing and artificial immune system algorithms for cell formation with part family clustering
Cell formation problem (CFP) is one of the main problems in cellular manufacturing systems. Minimizing exceptional elements and voids is one of the common objectives in the CFP. The purpose of the present study is to propose a new model for cellular manufacturing systems to group parts and machines in dedicated cells using a part-machine incidence matrix to minimize the voids. After identifying...
متن کامل3-PRIMARY v1-PERIODIC HOMOTOPY GROUPS OF E7
In this paper we compute the 3-primary v1-periodic homotopy groups of the exceptional Lie group E7. This represents the next stage in the author’s goal of calculating the v1-periodic homotopy groups of all compact simple Lie groups (at least when localized at an odd prime). Most of the work goes into calculating the unstable Novikov spectral sequence of ΩE7/Sp(2). Showing that this spectral seq...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004